* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 Nov 2012 03:10:51 +0000 (19:10 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 Nov 2012 03:10:51 +0000 (19:10 -0800)
commit1eeed569887aad09a3ca636b616afca7ba4f4702
tree3d87a6f0885f6cb879558212157d4bc84051938d
parent1ac95d9093ddb5710ff73a8d062a039b2b3e4a18
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex